- бар-индукция
- бар-інду́кція
Русско-украинский политехнический словарь. 2013.
бар-индукция
Смотреть что такое "бар-индукция" в других словарях:
БАР-ИНДУКЦИЯ — индуктивный способ рассуждения, используемый в интуиционистской математике (см. Интуиционизм). и состоящий в следующем. Пусть на конечных кортежах натуральных чисел заданы нек рые свойства такие, что: 1) свойство Rразрешимо, т. е. для всякого… … Математическая энциклопедия
индукция — ИНДУКЦИЯ (от лат. inductio выведение; возбуждение) этот термин в современной логике используется как синоним более точного, но более громоздкого, термина «индуктивное рассуждение». Индуктивное рассуждение содержит переход от эмпирически… … Энциклопедия эпистемологии и философии науки
ТРАНСФИНИТНАЯ ИНДУКЦИЯ — принцип, позволяющий утверждать суждение (х)для любого элемента хвполне упорядоченного класса Е, если установлено, что для всякого из истинности (у)для всех y<z следует истинность A(z): Когда Е отрезок ординалов, меньших эквивалентна такая… … Математическая энциклопедия
ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… … Математическая энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
КОНСТРУКТИВНАЯ МАТЕМАТИКА — конструктивное направление в математике, математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения … Математическая энциклопедия
Поток (интуиционизм) — У этого термина существуют и другие значения, см. Поток. Поток одно из основных понятий интуиционистской математики. Определение Поток определяется как совокупность двух законов и , называемых законом потока и дополнительным законом,… … Википедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
Интуиционизм — Интуиционизм система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности… … Википедия
Интуиционистская логика — Интуиционизм система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического… … Википедия
ЛОГИКА ИНДУКТИВНАЯ — раздел логики, в к ром изучаются логич. процессы перехода от единичного знания к общему, В наст. время анализ этих процессов вошел в круг рассмотрения вероятностной логики как частный случай решения более широкой задачи: определения степени… … Философская энциклопедия
